منابع مشابه
Comparing Classes or Datatypes
This is the fifth in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages proposed for the Semantic Web, such as the Resource Description Framework (RDF), RDF Schema (RDFS), and the Web Ontology Language (OWL). OWL is based on description logic. A later series of articles will explore other logic-based languages such as datalog. The firs...
متن کاملSecondary Characteristic Classes and the Euler Class
We discuss secondary (and higher) characteristic classes for algebraic vector bundles with trivial top Chern class. We then show that if X is a smooth affine scheme of dimension d over a field k of finite 2cohomological dimension (with char(k) 6= 2) and E is a rank d vector bundle over X , vanishing of the Chow-Witt theoretic Euler class of E is equivalent to vanishing of its top Chern class an...
متن کاملComparing Four Classes of Torus
The relative communication performance of low-versus high-dimensional torus networks (k-ary n-cubes) has been extensively studied under various assumptions about communication patterns and technological constraints. In this paper, we extend the comparison to torus networks with incomplete, but regular, connectivities. Taking an nD torus as the basis, we show that a simple pruning scheme can be ...
متن کاملComparing classes of finite structures
In many branches of mathematics, there is work classifying a collection of objects, up to isomorphism or other important equivalence, in terms of nice invariants. In descriptive set theory, there is a body of work using a notion of “Borel embedding” to compare the classification problems for various classes of structures (fields, graphs, groups, etc.) [7], [3], [11], [12], [13]. In this work, e...
متن کاملEquivariant Euler characteristics and K - homology Euler classes for proper cocompact G - manifolds Wolfgang
Let G be a countable discrete group and let M be a smooth proper cocompact G-manifold without boundary. The Euler operator defines via Kasparov theory an element, called the equivariant Euler class, in the equivariant KO-homology of M. The universal equivariant Euler characteristic of M, which lives in a group UG(M), counts the equivariant cells of M , taking the component structure of the vari...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Quarterly Journal of Mathematics
سال: 2016
ISSN: 0033-5606,1464-3847
DOI: 10.1093/qmath/haw033